翻訳と辞書
Words near each other
・ Unique FC
・ Unique Feature Identifier
・ Unique Flavor
・ Unique Forms of Continuity in Space
・ Unique games conjecture
・ Unique hues
・ Unique Identification Authority of India
・ Unique identifier
・ Unique II
・ Unique Ingredient Identifier
・ Unique Italy
・ Unique key
・ Unique local address
・ Unique Master Citizen Number
・ Unique Material Identifier
Unique name assumption
・ Unique negative dimension
・ Unique Particle Attribution
・ Unique Party
・ Unique perceived benefit
・ Unique Photo
・ Unique physician identification number
・ Unique Population Registry Code
・ Unique prime
・ Unique properties of hyperthermophilic archaea
・ Unique Quartette
・ Unique Recording Studios
・ Unique selling language
・ Unique selling proposition
・ Unique sink orientation


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Unique name assumption : ウィキペディア英語版
Unique name assumption
The unique name assumption is a simplifying assumption made in some ontology languages and description logics. In logics with the unique name assumption, different names always refer to different entities in the world.
The standard ontology language OWL does not make this assumption, but provides explicit constructs to express whether two names denote the same or distinct entities.〔(OWL Web Ontology Language Reference )〕
* owl:sameAs is the OWL property that asserts that two given names or identifiers (e.g., URIs) refer to the same individual or entity.
* owl:differentFrom is the OWL property that asserts that two given names or identifiers (e.g., URIs) refer to different individuals or entities.
==See also==

* Closed-world assumption
* Coreference

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Unique name assumption」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.